Björnsson, Jóhann, Giesl, Peter, Hafstein, Sigurdur, Kellett, Christopher M., Li, Huijuan. Institute of Electrical and Electronics Engineers (IEEE); 2014. Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction.